The original work has been a favorite of both scholars and laypeople for its straightforward style, in contrast to other medieval writings on ethics that are largely theoretical and reflective.

Haḳdamat Mesilat yesharim, śiḥah 1 -- Mesilat yesharim, śiḥah 2 -- Mesilat yesharim, śiḥah 3.

Shaʻar ha-ṭohorah. Liḳuṭim mi-Sefer ḥasidim -- Śiḥot u-maʼamarim.

The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (in arbitrary Henkin models). The domains (...) of derivations are collections of derivations in the associated “dedicated” natural-deduction proof-system, and functions therein (with no appeal to models, truth-values and elements of a domain). The compositionality of the semantics is analyzed. (shrink)

The paper proposes a semantic value for the logical constants (connectives and quantifiers) within the framework of proof-theoretic semantics, basic meaning on the introduction rules of a meaning conferring natural deduction proof system. The semantic value is defined based on Fregecontributions” to sentential meanings as determined by the function-argument structure as induced by a type-logical grammar. In doing so, the paper proposes a novel proof-theoretic interpretation of the semantic types, traditionally interpreted in Henkin models. The compositionality of the resulting attribution (...) of semantic values is discussed. Elsewhere, the same method was used for defining proof-theoretic meaning of subsentential phrases in a fragment of natural language. Doing the same for (the simpler and clearer case of) logic sheds more light on the proposal. (shrink)

kerekh 1. Haḳdamot. Peraḳim 1-2 -- kerekh 3. Pereḳ 3 -- kerekh 4. Pereḳ 4 -- kerekh 5. Pereḳ 5 -- kerekh 6. Pereḳ 6. Mafteaḥ meḳorot -- kerekh 7. Mafteaḥ ʻarakhim.

We investigate the connection between $\triangle^1_3$-stability for random and Cohen forcing notions and the measurability and categoricity of the $\triangle^1_3$-sets. We show that Shelah's model for $\triangle^1_3$-measurability and categoricity satisfies $\triangle^1_3$-random-stability while it does not satisfy $\triangle^1_3$-Cohen-stability. This gives an example of measure-category asymmetry. We also present a result concerning finite support iterations of Suslin forcing.

Sefer ha-Roḳeaḥ -- Sefer Eldad ha-Dani -- Sibuv Rabi Petaḥyah -- Sefer Har Adonai.

Translation of: Talkhaios kitaab al-Akhlaaq, book 4.